IRENE FINOCCHI: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Reactive Imperative Programming with Dataflow Constraints

Demetrescu, Camil, Finocchi, Irene, Ribichini, Andrea

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2014

Language:

english

File:

PDF, 2.49 MB

english, 2014

2

A Survey of Symbolic Execution Techniques

Baldoni, Roberto, Coppa, Emilio, D’elia, Daniele Cono, Demetrescu, Camil, Finocchi, Irene

Journal:

ACM Computing Surveys

Year:

2018

Language:

english

File:

PDF, 1.27 MB

english, 2018

3

Combinatorial algorithms for feedback problems in directed graphs

Camil Demetrescu, Irene Finocchi

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 135 KB

english, 2003

4

[ACM Press the 2006 ACM symposium - Brighton, United Kingdom (2006.09.04-2006.09.05)] Proceedings of the 2006 ACM symposium on Software visualization - SoftVis '06 - A data-driven graphical toolkit for software visualization

Demetrescu, Camil, Finocchi, Irene

Year:

2006

Language:

english

File:

PDF, 286 KB

english, 2006

5

[Lecture Notes in Computer Science] Algorithms – ESA 2015 Volume 9294 || Output-Sensitive Algorithms for Enumerating the Extreme Nondominated Points of Multiobjective Combinatorial Optimization Problems

Bansal, Nikhil, Finocchi, Irene

Year:

2015

Language:

english

File:

PDF, 261 KB

english, 2015

6

[Lecture Notes in Computer Science] Algorithms – ESA 2015 Volume 9294 || A Triplet-Based Exact Method for the Shift Minimisation Personnel Task Scheduling Problem

Bansal, Nikhil, Finocchi, Irene

Year:

2015

Language:

english

File:

PDF, 286 KB

english, 2015

7

Clique Counting in MapReduce

Finocchi, Irene, Finocchi, Marco, Fusco, Emanuele G.

Journal:

Journal of Experimental Algorithmics

Year:

2015

Language:

english

File:

PDF, 467 KB

english, 2015

8

Mining hot calling contexts in small space

D'Elia, Daniele Cono, Demetrescu, Camil, Finocchi, Irene

Journal:

Software: Practice and Experience

Year:

2016

Language:

english

File:

PDF, 1.05 MB

english, 2016

9

CrumbTrail: an Efficient Methodology to Reduce Multiple Inheritance in Knowledge Graphs

Faralli, Stefano, Finocchi, Irene, Ponzetto, Simone Paolo, Velardi, Paola

Journal:

Knowledge-Based Systems

Year:

2018

Language:

english

File:

PDF, 1.76 MB

english, 2018

10

Counting cliques in parallel without a cluster engineering a fork/join algorithm for shared-memory platforms

Coppa, Emilio, Finocchi, Irene, Garcia, Renan Leon

Journal:

Information Sciences

Year:

2018

Language:

english

File:

PDF, 1.95 MB

english, 2018

11

2020 Proceedings of the Twenty-Second Workshop on Algorithm Engineering and Experiments (ALENEX) || Reverse-Safe Data Structures for Text Indexing

Blelloch, Guy, Finocchi, Irene

Year:

2020

File:

PDF, 1.18 MB

2020

12

2020 Proceedings of the Twenty-Second Workshop on Algorithm Engineering and Experiments (ALENEX) || RecSplit: Minimal Perfect Hashing via Recursive Splitting

Blelloch, Guy, Finocchi, Irene

Year:

2020

File:

PDF, 497 KB

2020

13

Editorial: Preface to the special issue

Tiziana Calamoneri, Irene Finocchi

Journal:

Year:

2012

Language:

english

File:

PDF, 29 KB

english, 2012

14

Designing reliable algorithms in unreliable memories

Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano

Journal:

Computer Science Review

Year:

2007

Language:

english

File:

PDF, 602 KB

english, 2007

15

Crossing-constrained hierarchical drawings

Journal:

Journal of Discrete Algorithms

Year:

2006

Language:

english

File:

PDF, 216 KB

english, 2006

16

Conflict-free star-access in parallel memory systems

Sajal K. Das, Irene Finocchi, Rossella Petreschi

Journal:

Journal of Parallel and Distributed Computing

Year:

2006

Language:

english

File:

PDF, 330 KB

english, 2006

17

On coding labeled trees

Saverio Caminiti, Irene Finocchi, Rossella Petreschi

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 737 KB

english, 2007

18

Divider-based algorithms for hierarchical tree partitioning

Irene Finocchi, Rossella Petreschi

Journal:

Discrete Applied Mathematics

Year:

2004

Language:

english

File:

PDF, 439 KB

english, 2004

19

Tree partitioning via vertex deletion

Irene Finocchi, Rossella Petreschi

Journal:

Electronic Notes in Discrete Mathematics

Year:

2001

File:

PDF, 294 KB

2001

20

Structure-Preserving Hierarchical Decompositions

Irene Finocchi, Rossella Petreschi

Journal:

Theory of Computing Systems

Year:

2005

Language:

english

File:

PDF, 230 KB

english, 2005

21

An Experimental Analysis of Simple, Distributed Vertex Coloring Algorithms

Irene Finocchi, Alessandro Panconesi, Riccardo Silvestri

Journal:

Year:

2005

Language:

english

File:

PDF, 462 KB

english, 2005

22

Sorting and Searching in Faulty Memories

Irene Finocchi, Giuseppe F. Italiano

Journal:

Year:

2008

Language:

english

File:

PDF, 539 KB

english, 2008

23

The Price of Resiliency: a Case Study on Sorting with

Umberto Ferraro-Petrillo, Irene Finocchi, Giuseppe F. Italiano

Journal:

Year:

2009

Language:

english

File:

PDF, 803 KB

english, 2009

24

A Java-based system for building animated presentations over the Web

Vincenzo Bonifaci, Camil Demetrescu, Irene Finocchi, Luigi Laura

Journal:

Science of Computer Programming

Year:

2004

Language:

english

File:

PDF, 478 KB

english, 2004

25

Optimal resilient sorting and searching in the presence of memory faults

Irene Finocchi, Fabrizio Grandoni, Giuseppe F. Italiano

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.06 MB

english, 2009

26

Reversible Execution and Visualization of Programs with LEONARDO

PIERLUIGI CRESCENZI, CAMIL DEMETRESCU, IRENE FINOCCHI, ROSSELLA PETRESCHI

Journal:

Journal of Visual Languages & Computing

Year:

2000

Language:

english

File:

PDF, 919 KB

english, 2000

27

Smooth Animation of Algorithms in a Declarative Framework

CAMIL DEMETRESCU, IRENE FINOCCHI

Journal:

Journal of Visual Languages & Computing

Year:

2001

Language:

english

File:

PDF, 885 KB

english, 2001

28

[Lecture Notes in Computer Science] Algorithms and Complexity Volume 3998 || Approximate Hierarchical Facility Location and Applications to the Shallow Steiner Tree and Range Assignment Problems

Calamoneri, Tiziana, Finocchi, Irene, Italiano, Giuseppe F.

Year:

2006

Language:

english

File:

PDF, 539 KB

english, 2006

29

[IEEE 2008 Fifth International Conference on Information Technology: New Generations (ITNG) - Las Vegas, NV, USA (2008.04.7-2008.04.9)] Fifth International Conference on Information Technology: New Generations (itng 2008) - A Note on Algebraic Hypercube Colorings

Finocchi, Irene, Fusco, Emanuele Guido, Petreschi, Rossella

Year:

2008

Language:

english

File:

PDF, 464 KB

english, 2008

30

[Lecture Notes in Computer Science] Algorithms and Complexity Volume 3998 || On-Line Coloring of H-Free Bipartite Graphs

Calamoneri, Tiziana, Finocchi, Irene, Italiano, Giuseppe F.

Year:

2006

Language:

english

File:

PDF, 489 KB

english, 2006

31

Resilient dictionaries

Finocchi, Irene, Grandoni, Fabrizio, Italiano, Giuseppe F.

Journal:

ACM Transactions on Algorithms

Year:

2009

Language:

english

File:

PDF, 281 KB

english, 2009

32

Relapsing Campylobacter jejuni Systemic Infections in a Child with X-Linked Agammaglobulinemia

Ariganello, Paola, Angelino, Giulia, Scarselli, Alessia, Salfa, Irene, Della Corte, Martina, De Matteis, Arianna, D'Argenio, Patrizia, Livadiotti, Susanna, Manno, Emma C., Russo, Cristina, Finocchi, A

Journal:

Case Reports in Pediatrics

Year:

2013

Language:

english

File:

PDF, 766 KB

english, 2013

33

Input-Sensitive Profiling

Coppa, Emilio, Demetrescu, Camil, Finocchi, Irene

Journal:

IEEE Transactions on Software Engineering

Year:

2014

Language:

english

File:

PDF, 1.84 MB

english, 2014

34

Breaking cycles for minimizing crossings

Demestrescu, Camil, Finocchi, Irene

Journal:

Journal of Experimental Algorithmics

Year:

2001

Language:

english

File:

PDF, 1015 KB

english, 2001

35

[ACM Press the 2004 ACM symposium - Nicosia, Cyprus (2004.03.14-2004.03.17)] Proceedings of the 2004 ACM symposium on Applied computing - SAC '04 - A portable virtual machine for program debugging and directing

Demetrescu, Camil, Finocchi, Irene

Year:

2004

Language:

english

File:

PDF, 202 KB

english, 2004

36

Trading off space for passes in graph streaming problems

Demetrescu, Camil, Finocchi, Irene, Ribichini, Andrea

Journal:

ACM Transactions on Algorithms

Year:

2009

Language:

english

File:

PDF, 293 KB

english, 2009

37

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Mining hot calling contexts in small space

D'Elia, Daniele Cono, Demetrescu, Camil, Finocchi, Irene

Year:

2011

Language:

english

File:

PDF, 503 KB

english, 2011

38

Reactive imperative programming with dataflow constraints

Demetrescu, Camil, Finocchi, Irene, Ribichini, Andrea

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 626 KB

english, 2011

39

Guest editors' foreword

Finocchi, Irene, Hershberger, John

Journal:

Journal of Experimental Algorithmics

Year:

2011

Language:

english

File:

PDF, 34 KB

english, 2011

40

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Reactive imperative programming with dataflow constraints

Demetrescu, Camil, Finocchi, Irene, Ribichini, Andrea

Year:

2011

Language:

english

File:

PDF, 626 KB

english, 2011

41

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Input-sensitive profiling

Coppa, Emilio, Demetrescu, Camil, Finocchi, Irene

Year:

2012

Language:

english

File:

PDF, 554 KB

english, 2012

42

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - k-Calling context profiling

Ausiello, Giorgio, Demetrescu, Camil, Finocchi, Irene, Firmani, Donatella

Year:

2012

Language:

english

File:

PDF, 613 KB

english, 2012

43

[ACM Press the thirty-sixth annual ACM symposium - Chicago, IL, USA (2004.06.13-2004.06.16)] Proceedings of the thirty-sixth annual ACM symposium on Theory of computing - STOC '04 - Sorting and searching in the presence of memory faults (without redundancy)

Finocchi, Irene, Italiano, Giuseppe F.

Year:

2004

Language:

english

File:

PDF, 214 KB

english, 2004

44

[Lecture Notes in Computer Science] Algorithms – ESA 2015 Volume 9294 || Fast Algorithms for Parameterized Problems with Relaxed Disjointness Constraints

Bansal, Nikhil, Finocchi, Irene

Year:

2015

Language:

english

File:

PDF, 253 KB

english, 2015

45

[Lecture Notes in Computer Science] Algorithms – ESA 2015 Volume 9294 || Exact Minkowski Sums of Polygons With Holes

Bansal, Nikhil, Finocchi, Irene

Year:

2015

Language:

english

File:

PDF, 72 KB

english, 2015

46

[Lecture Notes in Computer Science] Algorithms – ESA 2015 Volume 9294 ||

Bansal, Nikhil, Finocchi, Irene

Year:

2015

Language:

english

File:

PDF, 26.24 MB

english, 2015

47

[Lecture Notes in Computer Science] Algorithms – ESA 2015 Volume 9294 || I/O-Efficient Similarity Join

Bansal, Nikhil, Finocchi, Irene

Year:

2015

Language:

english

File:

PDF, 258 KB

english, 2015

48

[Lecture Notes in Computer Science] Algorithms - ESA 2015 Volume 9294 || An Improved Approximation Algorithm for Knapsack Median Using Sparsification

Bansal, Nikhil, Finocchi, Irene

Year:

2015

Language:

english

File:

PDF, 231 KB

english, 2015

49

[Lecture Notes in Computer Science] Algorithms - ESA 2015 Volume 9294 || Self-Adjusting Binary Search Trees: What Makes Them Tick?

Bansal, Nikhil, Finocchi, Irene

Year:

2015

Language:

english

File:

PDF, 296 KB

english, 2015

50

[Lecture Notes in Computer Science] Algorithms - ESA 2015 Volume 9294 || On Computing the Hyperbolicity of Real-World Graphs

Bansal, Nikhil, Finocchi, Irene

Year:

2015

Language:

english

File:

PDF, 385 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски